Proposition 4.3.2 (Half exactness of K0)

Every short exact sequence of -algebras, induces an exact sequence of Abelian groups